Skip to content

Change units from KHz to MHz - #29

Merged
mintybasil merged 1 commit into
mainfrom
zeroklaw/change-khz-to-mhz
May 14, 2026
Merged

Change units from KHz to MHz#29
mintybasil merged 1 commit into
mainfrom
zeroklaw/change-khz-to-mhz

Conversation

@zeroklaw

Copy link
Copy Markdown
Member

Closes #28

Summary

Switch the benchmark output unit from KHz to MHz for all cycle-based throughput measurements. This aligns with the magnitude typically used when discussing prover performance.

Changes

  • prove_stark: Divide by 1_000_000.0 instead of 1000.0 to produce MHz values. The variable name is updated from khz to mhz.
  • BenchResult: Rename exec_khzexec_mhz, prove_khzprove_mhz. Update tabled column headers to "Exec MHz" and "Prove MHz".
  • BenchSummary: Rename all *_khz fields to *_mhz. Update column headers accordingly.
  • prove_snark comment: Updated KHzMHz in the PostgreSQL comment.

Testing

  • cargo build --release -p bento-bench — passes
  • RISC0_SKIP_BUILD=1 cargo clippy -p bento-bench — no new warnings
  • RISC0_SKIP_BUILD=1 cargo test -p bento-bench — 3/3 tests pass

Divide cycle throughput values by an additional 1000 so the displayed
unit is MHz (millions of cycles per second) instead of KHz (thousands
of cycles per second). This aligns with the magnitude typically used
when discussing prover performance.

- prove_stark: divide by 1_000_000.0 instead of 1000.0
- BenchResult: rename exec_khz/prove_khz to exec_mhz/prove_mhz
- BenchSummary: rename all *_khz fields to *_mhz
- Update tabled column headers from KHz to MHz

Closes #28
@zeroklaw
zeroklaw marked this pull request as ready for review May 13, 2026 18:47
@zeroklaw
zeroklaw requested a review from mintybasil May 13, 2026 18:48
@mintybasil
mintybasil merged commit b12573b into main May 14, 2026
2 of 3 checks passed
@mintybasil
mintybasil deleted the zeroklaw/change-khz-to-mhz branch May 14, 2026 19:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Change units from KHz to MHz

2 participants